The stress corrosion resistance and the cryogenic temperature mechanical properties of hot rolled Nitronic 32 bar material

The ambient and cryogenic temperature mechanical properties and the ambient temperature stress corrosion properties of hot rolled and centerless ground Nitronic 32 stainless steel bar material are presented. The mechanical properties of longitudinal specimens were evaluated at test temperatures from ambient to liquid hydrogen. The tensile test data indicated increasing smooth tensile strength with decreasing temperature to liquid hydrogen temperature. However, below -200 F (-129.0 C) the notched tensile strength decreased slightly and below -320 F (-196.0 C) the decrease was significant. The elongation and reduction of area decreased drastically at temperatures below -200 F (-129.0 C). The Charpy V-notched impact energy decreased steadily with decreasing test temperature. Stress corrosion tests were performed on longitudinal tensile specimens stressed to 0, 75, and 90 percent of the 0.2 percent yield strength and on transverse 'C'-ring specimens stressed to 75 and 90 percent of the yield strength and exposed to: alternate immersion in a 3.5 percent NaCl bath, humidity cabinet environment, and a 5 percent salt spray atmosphere. The longitudinal tensile specimens experienced no corrosive attack; however, the 'C'-rings exposed to the alternate immersion and to the salt spray experienced some shallow etching and pitting, respectively. Small cracks appeared in two of the 'C'-rings after one month exposure to the salt spray

Time Resolution Measurements on SiPM for High Energy Physics Experiments

Scintillator detector have been used in a wide range of experiments in different areas: Nuclear and High Energy Physics, Medicine, and Radiation Security among others. It is common to use scintillator counters coupled to Photomultiplier Tubes (PMT) as a read out detectors. Nowadays, there has been a great interest in using the Silicon Photomultipliers (PMSi) as a replacement for PMT's due to their high photon detection efficiency (PDE) and their high single photon time resolution (SPTR). The fast the signal is detected, the whole detection system will be useful to search for new physics. PMSi is also known to have a good compactness, magnetic field resistance and low cost. In our lab we are measuring the time resolution of two different models of PMS in order to build a fast radiation detector system

The stress corrosion resistance and the cryogenic temperature mechanical properties of annealed Nitronic 60 bar material

Ambient and cryogenic temperature mechanical properties and the ambient temperature stress corrosion properties of annealed, straightened, and centerless ground Nitronic 60 stainless steel alloy bar material are presented. The mechanical properties of longitudinal specimens were evaluated at test temperatures from ambient to liquid hydrogen. The tensile test data indicated increasing strength with decreasing temperature to -196 C. Below liquid nitrogen temperature the smooth tensile and notched tensile strengths decreased slightly while the elongation and reduction of area decreased drastically. The Charpy V-notched impact energy decreased steadily with decreasing test temperature. Stress corrosion tests were performed on longitudinal tensile specimens and transverse C-ring specimens exposed to: alternate immersion in a 3.5% NaCl bath; humidity cabinet; and a 5% salt spray atmosphere. The longitudinal tensile specimens experienced no corrosive attack. Approximately 3/4 of the transverse C-rings exposed to alternate immersion and to salt spray experienced a pitting attack on the top and bottom ends. Additional stress corrosion tests were performed on transverse tensile specimens. No failures occurred in the 90% stressed specimens exposed for 90 days in the alternate immersion and salt spray environment

RL-DOVS: Reinforcement Learning for Autonomous Robot Navigation in Dynamic Environments

Autonomous navigation in dynamic environments where people move unpredictably is an essential task for service robots in real-world populated scenarios. Recent works in reinforcement learning (RL) have been applied to autonomous vehicle driving and to navigation around pedestrians. In this paper, we present a novel planner (reinforcement learning dynamic object velocity space, RL-DOVS) based on an RL technique for dynamic environments. The method explicitly considers the robot kinodynamic constraints for selecting the actions in every control period. The main contribution of our work is to use an environment model where the dynamism is represented in the robocentric velocity space as input to the learning system. The use of this dynamic information speeds the training process with respect to other techniques that learn directly either from raw sensors (vision, lidar) or from basic information about obstacle location and kinematics. We propose two approaches using RL and dynamic obstacle velocity (DOVS), RL-DOVS-A, which automatically learns the actions having the maximum utility, and RL-DOVS-D, in which the actions are selected by a human driver. Simulation results and evaluation are presented using different numbers of active agents and static and moving passive agents with random motion directions and velocities in many different scenarios. The performance of the technique is compared with other state-of-the-art techniques for solving navigation problems in environments such as ours

Model-based robocentric planning and navigation for dynamic environments

This work addresses a new technique of motion planning and navigation for differential-drive robots in dynamic environments. Static and dynamic objects are represented directly on the control space of the robot, where decisions on the best motion are made. A new model representing the dynamism and the prediction of the future behavior of the environment is defined, the dynamic object velocity space (DOVS). A formal definition of this model is provided, establishing the properties for its characterization. An analysis of its complexity, compared with other methods, is performed. The model contains information about the future behavior of obstacles, mapped on the robot control space. It allows planning of near-time-optimal safe motions within the visibility space horizon, not only for the current sampling period. Navigation strategies are developed based on the identification of situations in the model. The planned strategy is applied and updated for each sampling time, adapting to changes occurring in the scenario. The technique is evaluated in randomly generated simulated scenarios, based on metrics defined using safety and time-to-goal criteria. An evaluation in real-world experiments is also presented

DYNAMIC RELATIONSHIPS: E-COMMERCE SALES AND KEY EXOGENOUS VARIABLES IN THE PHILIPPINES

This study delves into the complex and evolving landscape of e-commerce in the Philippines, focusing on the relationship between E-Commerce Sales as the endogenous variable and a set of influential exogenous variables, including Digital Marketing Spending, GDP Growth, Internet Penetration, and Mobile Phone Ownership. This research employs a flexible spline modeling approach, uncovers non-linear associations, and offers significant implications for academic understanding and practical applications. The findings underscore the growing impact of Digital Marketing Spending on E-Commerce Sales, revealing the paramount role of online advertising and promotional strategies in the digital marketplace. Moreover, the study explains the intricate interplay between GDP Growth, Internet Penetration, Mobile Phone Ownership, and E-Commerce Sales, highlighting the non-linear nature of these relationships. As the Philippines continues its economic expansion and technological integration, these associations exhibit insightful implications for policymakers, businesses, and e-commerce stakeholders.  Article visualizations

Accurate Microwave Control and Real-Time Diagnostics of Neutral Atom Qubits

We demonstrate accurate single-qubit control in an ensemble of atomic qubits trapped in an optical lattice. The qubits are driven with microwave radiation, and their dynamics tracked by optical probe polarimetry. Real-time diagnostics is crucial to minimize systematic errors and optimize the performance of single-qubit gates, leading to fidelities of 0.99 for single-qubit pi rotations. We show that increased robustness to large, deliberately introduced errors can be achieved through the use of composite rotations. However, during normal operation the combination of very small intrinsic errors and additional decoherence during the longer pulse sequences precludes any significant performance gain in our current experiment.Comment: 9 pages, 7 figure

Moara: a Java library for extracting and normalizing gene and protein mentions

<p>Abstract</p> <p>Background</p> <p>Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein interactions, and extraction of semantic information, among others. Despite dedication to these problems and effective solutions being reported, easily integrated tools to perform these tasks are not readily available.</p> <p>Results</p> <p>This study proposes a versatile and trainable Java library that implements gene/protein tagger and normalization steps based on machine learning approaches. The system has been trained for several model organisms and corpora but can be expanded to support new organisms and documents.</p> <p>Conclusions</p> <p>Moara is a flexible, trainable and open-source system that is not specifically orientated to any organism and therefore does not requires specific tuning in the algorithms or dictionaries utilized. Moara can be used as a stand-alone application or can be incorporated in the workflow of a more general text mining system.</p

Bimanual wheelchair propulsion by people with severe hemiparesis after stroke

Purpose: Individuals who require manual wheelchairs after stroke are typically taught to ambulate with compensatory propulsion (i.e., using their non-paretic arm and foot), risking disuse of the paretic arm. We investigated whether stroke survivors can instead ambulate in a bimanual, lever-driven wheelchair that requires the paretic arm to contribute half the propulsive input. Materials and methods: Seventeen individuals with chronic stroke and severe hemiparesis (upper extremity Fugl–Meyer scores between 10 and 24) participated across two experiments. In the first experiment, participants (n = 12) ambulated in straight paths. In the second experiment, participants (n = 12) also performed turns, using an improved version of the wheelchair that incorporated handbrakes. Twelve unimpaired controls also completed the second experiment. Motion capture and EMG were used to compare biomechanics between groups. Results: Altogether, 15 of 17 participants with stroke could ambulate 30 m in straight paths, and 9 of 12 could turn 1800° entirely under the power of their paretic arm. Participants with stroke exhibited largely healthy biomechanics, with minimal shoulder hiking/leaning or trunk inclination. Their arm muscle EMG patterns were similar to those used by unimpaired participants, excepting delayed elbow extensor activation. Conclusions: Individuals with severe arm impairment in the chronic stage of stroke retain sufficient strength and coordination with their paretic arm to manoeuvre bimanual, lever-driven wheelchairs. We suggest bimanual, lever-driven propulsion should be explored in stroke rehabilitation practice as an alternative to compensatory wheelchair propulsion, as it has the potential to exercise healthy movement synergies, which may in turn help drive use-dependent motor recovery.Implications for rehabilitation Severe arm impairment arising after stroke does not generally eliminate the motor dexterity needed to bimanually propel a manual wheelchair, provided that the wheelchair is modified to remove the requirement to grasp and release the push rim. Such exercise appears a good candidate to facilitate rehabilitation outcomes because it depends on alternating muscle activity and improving elbow extension. Such wheelchair propulsion involves largely normal biomechanics; shoulder hiking and leaning are absent and trunk inclination is rare

Hipster: Integrating Theory Exploration in a Proof Assistant

This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes